windowMenu: Adapt to maximization changes

Mutter now exposes the is_maximized() method for checking for
full maximization, and the plain (un)maximize() methods no
longer cover partial maximization.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3704>

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index 71e8da35595a15e5a552b3e51c4679427de4870f..f30317d9a61ab6141757a11b33e9c885e089c22b 100644 (file)
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -43,13 +43,13 @@ export class WindowMenu extends PopupMenu.PopupMenu {
         if (!window.can_minimize())
             item.setSensitive(false);
 
-        if (window.get_maximized()) {
+        if (window.is_maximized()) {
             item = this.addAction(_('Restore'), () => {
-                window.unmaximize(Meta.MaximizeFlags.BOTH);
+                window.unmaximize();
             });
         } else {
             item = this.addAction(_('Maximize'), () => {
-                window.maximize(Meta.MaximizeFlags.BOTH);
+                window.maximize();
             });
         }
         if (!window.can_maximize())
@@ -103,7 +103,7 @@ export class WindowMenu extends PopupMenu.PopupMenu {
         });
         if (window.is_above())
             item.setOrnament(PopupMenu.Ornament.CHECK);
-        if (window.get_maximized() === Meta.MaximizeFlags.BOTH ||
+        if (window.is_maximized() ||
             type === Meta.WindowType.DOCK ||
             type === Meta.WindowType.DESKTOP ||
             type === Meta.WindowType.SPLASHSCREEN)